Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
771	On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:13:34 Lambda calculus Logic in computer science Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Combinatory logic
772	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
773	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
774	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
775	What is developmentally appropriate in early childhood mathematics education? Lessons from New Research Herbert P. Ginsburg Kyoung-Hye Seo Teachers College, Columbia University Add to Reading List Source URL: gse.buffalo.edu Language: English - Date: 2001-03-05 15:30:58 Data Mathematics education Mathematics Symmetry Statistics Subitizing Numeracy Counting Information Science Mathematical logic
776	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2015-05-26 20:54:57 Functional languages XML Model theory XPath 1.0 XPath First-order logic Constructible universe XQuery XSLT Computing Web standards Mathematical logic
777	Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematical logic Philosophical logic Predicate logic Constructible universe Quantification Model theory Logic Temporal logic Linear temporal logic
778	am_econometrica_2007_montecarlo_2.out - Notepad Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2011-08-12 08:11:40 Algorithm Mathematical logic Theoretical computer science
779	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
780	In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:14 Metric geometry Real analysis Least-upper-bound property Order theory Cauchy sequence Real number Mathematical logic Complete metric space Compact space Mathematics Mathematical analysis Topology